Finite automata - PDFSEARCH.IO - Document Search Engine

Finite automata
Results: 673

#	Item
561	Moon Ho Hwang DEVS++ verion 1.4.2 ii c Copyright °2005 Add to Reading List Source URL: odevspp.sourceforge.net Language: English - Date: 2009-05-03 10:36:57 SP-DEVS Automata theory DEVS Finite & Deterministic Discrete Event System Specification
562	An XML-based Scripting Language for Chain-type Modular Robotic Systems Ying Zhang Alex Golovinsky Mark Yim Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2007-05-25 16:20:50 Robot Robotics Finite-state machine Automaton Automata theory Self-reconfiguring modular robot Technology Automation
563	Automata and Complexity in Multiple-Quantifier Sentence Verification Jakub Szymanik ([removed]) Institute for Logic, Language and Computation, University of Amsterdam Shane Steinert-Threlkeld (Shanest@stanford. Add to Reading List Source URL: jakubszymanik.com Language: English - Date: 2013-05-20 06:27:06 Science Automata theory Quantification Models of computation Formal languages Generalized quantifier Pushdown automaton Cognitive science Finite-state machine Logic Mathematical logic Semantics
564	Probabilistic semantic automata in the verification of quantified statements Jakub Dotlaˇcil ([removed]) Center for Language and Cognition, University of Groningen Jakub Szymanik ([removed]) In Add to Reading List Source URL: jakubszymanik.com Language: English - Date: 2014-04-30 09:18:26 Quantification Predicate logic Semantics Model theory Nondeterministic finite automaton S0 Finite-state machine Pushdown automaton Automata theory Models of computation Logic
565	Introspective Pushdown Analysis of Higher-Order Programs Christopher Earl Ilya Sergey Matthew Might Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:03 Finite-state machine Context-free language Automata theory Models of computation Formal languages
566	Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:27 Mathematics Logic in computer science Operational semantics Finite-state machine Model theory Algorithm Theoretical computer science Applied mathematics Automata theory
567	Nik Boyd Copyright 2004 Nikolas S. Boyd. All rights reserved. State Names Add to Reading List Source URL: www.educery.com Language: English - Date: 2005-07-08 01:55:48 Models of computation Finite-state machine Automated teller machine Identifier Business Electronics Technology Automata theory Digital electronics
568	Languages of lossless seeds Karel Bˇrinda Laboratoire d’Informatique Gaspard Monge Universit´e Paris-Est Marne-la-Vall´ee Paris, France [removed] Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-05-23 03:03:52 Abstract algebra Automata theory Ergodic theory Subshift of finite type Shift space Galois module Clifford algebra Mathematics Combinatorics on words Mathematical analysis
569	Formal Modeling of RESTful Systems Using Finite-State Machines Ivan Zuzak, Ivan Budiselic, and Goran Delac School of Electrical Engineering and Computing, University of Zagreb, Unska 3, 10000 Zagreb, Croatia {izuzak, ibu Add to Reading List Source URL: ivanzuzak.info Language: English - Date: 2013-10-13 05:11:48 Cloud standards Software engineering Software architecture Computer science Representational state transfer Finite-state machine HATEOAS Nondeterministic finite automaton Web service Models of computation Automata theory Computing
570	[Downloaded from www.aece.ro on Tuesday, February 28, 2012 at 14:09:08 (UTC) by[removed]Redistribution subject to AECE license or copyright. Online distribution is expressly prohibited.] Advances in Electrical an Add to Reading List Source URL: ivanzuzak.info Language: English - Date: 2013-10-13 05:11:48 Automata theory Finite-state machine Graphical user interface testing Graphical user interfaces Model-based testing Software engineering Model checking Graphical user interface GUI widget Software testing Models of computation Mathematics

UPDATE